Nuprl Definition : void def 13,42

Void is Primitive 
latex


Upcore 1, core 1

origin